4

Reachability for partially observable discrete time stochastic hybrid systems

Year:
2014
Language:
english
File:
PDF, 458 KB
english, 2014
43

Ensuring Safety of Nonlinear Sampled Data Systems through Reachability1

Year:
2012
Language:
english
File:
PDF, 722 KB
english, 2012